Martina Seidl : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (68)
Les plus populaires
Liste
- Liste
- Tableau

The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)

Pulina, Luca, Seidl, Martina

Journal:

Artificial Intelligence

Année:

2019

Langue:

english

Fichier:

PDF, 1.24 MB

english, 2019

A survey on model versioning approaches

Altmanninger, Kerstin, Seidl, Martina, Wimmer, Manuel

Journal:

International Journal of Web Information Systems

Année:

2009

Langue:

english

Fichier:

PDF, 394 KB

english, 2009

Turning Conflicts into Collaboration

Wieland, Konrad, Langer, Philip, Seidl, Martina, Wimmer, Manuel, Kappel, Gerti

Journal:

Computer Supported Cooperative Work (CSCW)

Année:

2013

Langue:

english

Fichier:

PDF, 2.44 MB

english, 2013

The QBF Gallery: Behind the Scenes

Lonsing, Florian, Seidl, Martina, Van Gelder, Allen

Journal:

Artificial Intelligence

Année:

2016

Langue:

english

Fichier:

PDF, 983 KB

english, 2016

[Lecture Notes in Computer Science] Software Technologies: Applications and Foundations Volume 10748 || Models, More Models, and Then a Lot More

Seidl, Martina, Zschaler, Steffen

Année:

2018

Langue:

english

Fichier:

PDF, 175 KB

english, 2018

[Lecture Notes in Computer Science] Software Technologies: Applications and Foundations Volume 10748 || A Java Bytecode Metamodel for Composable Program Analyses

Seidl, Martina, Zschaler, Steffen

Année:

2018

Langue:

english

Fichier:

PDF, 295 KB

english, 2018

Specific Labelling of Cell Wall Proteins by Biotinylation. Identification of Four Covalently Linked O-mannosylated Proteins ofSaccharomyces cerevisiae

Mrsă, Vladimir, Seidl, Thomas, Gentzsch, Martina, Tanner, Widmar

Journal:

Yeast

Année:

1997

Langue:

english

Fichier:

PDF, 161 KB

english, 1997

A solver for QBFs in negation normal form

Uwe Egly, Martina Seidl, Stefan Woltran

Journal:

Constraints

Année:

2009

Langue:

english

Fichier:

PDF, 1.37 MB

english, 2009

Epl1, the major secreted protein of Hypocrea atroviridis on glucose, is a member of a strongly conserved protein family comprising plant defense response elicitors

Verena Seidl, Martina Marchetti, Reingard Schandl, Günter Allmaier, Christian P. Kubicek

Journal:

FEBS Journal

Année:

2006

Langue:

english

Fichier:

PDF, 787 KB

english, 2006

Platelets contribute to postnatal occlusion of the ductus arteriosus

Echtler, Katrin, Stark, Konstantin, Lorenz, Michael, Kerstan, Sandra, Walch, Axel, Jennen, Luise, Rudelius, Martina, Seidl, Stefan, Kremmer, Elisabeth, Emambokus, Nikla R

Journal:

Nature Medicine

Année:

2009

Langue:

english

Fichier:

PDF, 1.30 MB

english, 2009

Profiles of chemokine receptors in melanocytic lesions: de novo expression of CXCR6 in melanoma

Hannes Seidl, Erika Richtig, Hemma Tilz, Martina Stefan, Ulrike Schmidbauer, Martin Asslaber, Kurt Zatloukal, Meenhard Herlyn, Helmut Schaider

Journal:

Human Pathology

Année:

2007

Langue:

english

Fichier:

PDF, 812 KB

english, 2007

Noninvasive Characterization of Myocardial Molecular Interventions by Integrated Positron Emission Tomography and Computed Tomography

Bettina Wagner, Martina Anton, Stephan G. Nekolla, Sybille Reder, Julia Henke, Stefan Seidl, Renate Hegenloh, Masao Miyagawa, Roland Haubner, Markus Schwaiger, Frank M. Bengel

Journal:

Journal of the American College of Cardiology

Année:

2006

Langue:

english

Fichier:

PDF, 4.93 MB

english, 2006

A Prospective Randomized Trial on Preventative Methods for Positional Head Deformity: Physiotherapy versus a Positioning Pillow

Wilbrand, Jan-Falco, Seidl, Maximilian, Wilbrand, Martina, Streckbein, Philipp, Böttger, Sebastian, Pons-Kuehnemann, Joern, Hahn, Andreas, Howaldt, Hans-Peter

Journal:

The Journal of Pediatrics

Année:

2013

Langue:

english

Fichier:

PDF, 717 KB

english, 2013

A posteriori operation detection in evolving software models

Langer, Philip, Wimmer, Manuel, Brosch, Petra, Herrmannsdörfer, Markus, Seidl, Martina, Wieland, Konrad, Kappel, Gerti

Journal:

Journal of Systems and Software

Année:

2013

Langue:

english

Fichier:

PDF, 1.68 MB

english, 2013

[Lecture Notes in Computer Science] Tests and Proofs Volume 8570 || Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers

Seidl, Martina, Tillmann, Nikolai

Année:

2014

Langue:

english

Fichier:

PDF, 339 KB

english, 2014

[IEEE 2006 15th International Conference on Computing - Mexico city, Mexico (2006.11.21-2006.11.21)] 2006 15th International Conference on Computing - cc{\rm T}: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming

Oetsch, Johannes, Seidl, Martina, Tompits, Hans, Woltran, Stefan

Année:

2006

Langue:

english

Fichier:

PDF, 525 KB

english, 2006

[IEEE 2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM) - Vancouver, BC, Canada (2009.05.17-2009.05.17)] 2009 ICSE Workshop on Comparison and Versioning of Software Models - Towards end-user adaptable model versioning: The By-Example Operation Recorder

Broschy, Petra, Langer, Philip, Seidl, Martina, Wimmer, Manuel

Année:

2009

Langue:

english

Fichier:

PDF, 368 KB

english, 2009

Generic vs. Language-Specific Model Versioning

Petra Brosch,Philip Langer,Martina Seidl,Manuel Wimmer…

Journal:

Softwaretechnik-Trends

Année:

2012

Langue:

english

Fichier:

PDF, 88 KB

english, 2012

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Bridging the Gap between Dual Propagation and CNF-based QBF Solving

Goultiaeva, Alexandra, Seidl, Martina, Biere, Armin

Année:

2013

Langue:

english

Fichier:

PDF, 276 KB

english, 2013

Software modeling in education

Seidl, Martina, Clarke, Peter J.

Journal:

Computer Science Education

Année:

2011

Langue:

english

Fichier:

PDF, 79 KB

english, 2011

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Partial witnesses from preprocessed quantified Boolean formulas

Seidl, Martina, Konighofer, Robert

Année:

2014

Langue:

english

Fichier:

PDF, 612 KB

english, 2014

[Undergraduate Topics in Computer Science] UML @ Classroom ||

Seidl, Martina, Scholz, Marion, Huemer, Christian, Kappel, Gerti

Année:

2015

Langue:

english

Fichier:

PDF, 1.57 MB

english, 2015

[Lecture Notes in Computer Science] Tests and Proofs Volume 8570 ||

Seidl, Martina, Tillmann, Nikolai

Année:

2014

Langue:

english

Fichier:

PDF, 4.07 MB

english, 2014

On formalizing EMF modeling operations with graph transformations

Brosch, Petra, Gabmeyer, Sebastian, Kappel, Gerti, Seidl, Martina

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

2012

Langue:

english

Fichier:

PDF, 1.05 MB

english, 2012

[ACM Press Proceeding of the 24th ACM SIGPLAN conference companion - Orlando, Florida, USA (2009.10.25-2009.10.29)] Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09 - The operation recorder

Brosch, Petra, Seidl, Martina, Wieland, Konrad, Wimmer, Manuel, Langer, Philip

Année:

2009

Langue:

english

Fichier:

PDF, 507 KB

english, 2009

[ACM Press the ACM international conference companion - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10 - Guiding modelers through conflict resolution

Brosch, Petra, Seidl, Martina, Wieland, Konrad

Année:

2010

Langue:

english

Fichier:

PDF, 372 KB

english, 2010

[ACM Press Proceeding of the 24th ACM SIGPLAN conference companion - Orlando, Florida, USA (2009.10.25-2009.10.29)] Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09 - By-example adaptation of the generic model versioning system AMOR

Brosch, Petra, Seidl, Martina, Wieland, Konrad, Wimmer, Manuel, Langer, Philip

Année:

2009

Langue:

english

Fichier:

PDF, 309 KB

english, 2009

[ACM Press the ACM international conference companion - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10 - A recommender for conflict resolution support in optimistic model versioning

Brosch, Petra, Seidl, Martina, Kappel, Gerti

Année:

2010

Langue:

english

Fichier:

PDF, 896 KB

english, 2010

Biochemical characterization of the tomato phosphatidylinositol-specific phospholipase C (PI-PLC) family and its role in plant immunity

Abd-El-Haliem, Ahmed M., Vossen, Jack H., van Zeijl, Arjan, Dezhsetan, Sara, Testerink, Christa, Seidl, Michael F., Beck, Martina, Strutt, James, Robatzek, Silke, Joosten, Matthieu H.A.J.

Journal:

Biochimica et Biophysica Acta (BBA) - Molecular and Cell Biology of Lipids

Année:

2016

Langue:

english

Fichier:

PDF, 2.72 MB

english, 2016

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Model-Based Testing of Stateful APIs with Modbat

Artho, Cyrille, Seidl, Martina, Gros, Quentin, Choi, Eun-Hye, Kitamura, Takashi, Mori, Akira, Ramler, Rudolf, Yamagata, Yoriyuki

Année:

2015

Langue:

english

Fichier:

PDF, 193 KB

english, 2015

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Efficient extraction of Skolem functions from QRAT proofs

Heule, Marijn J. H., Seidl, Martina, Biere, Armin

Année:

2014

Langue:

english

Fichier:

PDF, 906 KB

english, 2014

The first reactive synthesis competition (SYNTCOMP 2014)

Jacobs, Swen, Bloem, Roderick, Brenguier, Romain, Ehlers, Rüdiger, Hell, Timotheus, Könighofer, Robert, Pérez, Guillermo A., Raskin, Jean-François, Ryzhyk, Leonid, Sankur, Ocan, Seidl, Martina, Tentru

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2017

Langue:

english

Fichier:

PDF, 987 KB

english, 2017

Knowledge and training needs of nurses and physicians on unsuitable drugs for patients with dysphagia or feeding tubes

Lohmann, Kristina, Ferber, Julia, Haefeli, Meret F, Störzinger, Dominic, Schwald, Martina, Haefeli, Walter E, Seidling, Hanna M

Journal:

Journal of Clinical Nursing

Année:

2015

Langue:

english

Fichier:

PDF, 165 KB

english, 2015

Double-Strand DNA Breaks Induced by Paracyclophane Gold(I) Complexes

Bestgen, Sebastian, Seidl, Carmen, Wiesner, Thomas, Zimmer, Andreas, Falk, Martina, Köberle, Beate, Austeri, Martina, Paradies, Jan, Bräse, Stefan, Schepers, Ute, Roesky, Peter W.

Journal:

Chemistry - A European Journal

Année:

2017

Langue:

english

Fichier:

PDF, 1.65 MB

english, 2017

Trichoderma reeseixylanase 5 is defective in the reference strain QM6a but functional alleles are present in other wild-type strains

Ramoni, Jonas, Marchetti-Deschmann, Martina, Seidl-Seiboth, Verena, Seiboth, Bernhard

Journal:

Applied Microbiology and Biotechnology

Année:

2017

Langue:

english

Fichier:

PDF, 2.03 MB

english, 2017

Double-Strand DNA Breaks Induced by Paracyclophane Gold(I) Complexes

Bestgen, Sebastian, Seidl, Carmen, Wiesner, Thomas, Zimmer, Andreas, Falk, Martina, Köberle, Beate, Austeri, Martina, Paradies, Jan, Bräse, Stefan, Schepers, Ute, Roesky, Peter W.

Journal:

Chemistry - A European Journal

Année:

2017

Fichier:

PDF, 7.40 MB

2017

A feature-based classification of formal verification techniques for software models

Gabmeyer, Sebastian, Kaufmann, Petra, Seidl, Martina, Gogolla, Martin, Kappel, Gerti

Journal:

Software & Systems Modeling

Année:

2017

Langue:

english

Fichier:

PDF, 1.39 MB

english, 2017

[ACM Press the 8th edition of the Educators' Symposium - Innsbruck, Austria (2012.10.01-2012.10.05)] Proceedings of the 8th edition of the Educators' Symposium on - EduSymp '12 - Replacing traditional classroom lectures with lecture videos

Brandsteidl, Marion, Mayerhofer, Tanja, Seidl, Martina, Huemer, Christian

Année:

2012

Langue:

english

Fichier:

PDF, 301 KB

english, 2012

Solution Validation and Extraction for QBF Preprocessing

Marijn J. H. Heule,Martina Seidl,Armin Biere

Journal:

Journal of Automated Reasoning

Année:

2017

Langue:

english

Fichier:

PDF, 1.31 MB

english, 2017

Intra- and interdiagram consistency checking of behavioral multiview models

Kaufmann, Petra, Kronegger, Martin, Pfandler, Andreas, Seidl, Martina, Widl, Magdalena

Journal:

Computer Languages, Systems & Structures

Année:

2015

Langue:

english

Fichier:

PDF, 1.27 MB

english, 2015

Mycobacteria exploit nitric oxide‐induced transformation of macrophages into permissive giant cells

Gharun, Kourosh, Senges, Julia, Seidl, Maximilian, Lösslein, Anne, Kolter, Julia, Lohrmann, Florens, Fliegauf, Manfred, Elgizouli, Magdeldin, Vavra, Martina, Schachtrup, Kristina, Illert, Anna L, Gill

Journal:

EMBO reports

Année:

2017

Langue:

english

Fichier:

PDF, 1.33 MB

english, 2017

[Lecture Notes in Computer Science] Software Technologies: Applications and Foundations Volume 10748 || On the Need for Temporal Model Repositories

Seidl, Martina, Zschaler, Steffen

Année:

2018

Langue:

english

Fichier:

PDF, 644 KB

english, 2018

[Lecture Notes in Computer Science] Software Technologies: Applications and Foundations Volume 10748 || Mobile Health ID Card

Seidl, Martina, Zschaler, Steffen

Année:

2018

Langue:

english

Fichier:

PDF, 449 KB

english, 2018

[Lecture Notes in Computer Science] Software Technologies: Applications and Foundations Volume 10748 || DEIS: Dependability Engineering Innovation for Cyber-Physical Systems

Seidl, Martina, Zschaler, Steffen

Année:

2018

Langue:

english

Fichier:

PDF, 681 KB

english, 2018

[Lecture Notes in Computer Science] Software Technologies: Applications and Foundations Volume 10748 || Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph

Seidl, Martina, Zschaler, Steffen

Année:

2018

Langue:

english

Fichier:

PDF, 523 KB

english, 2018

[Lecture Notes in Computer Science] Software Technologies: Applications and Foundations Volume 10748 || Model-Driven Interaction Design for Social Robots

Seidl, Martina, Zschaler, Steffen

Année:

2018

Langue:

english

Fichier:

PDF, 279 KB

english, 2018

[Lecture Notes in Computer Science] Software Technologies: Applications and Foundations Volume 10748 || On the Need for Artifact Models in Model-Driven Systems Engineering Projects

Seidl, Martina, Zschaler, Steffen

Année:

2018

Langue:

english

Fichier:

PDF, 637 KB

english, 2018

[Lecture Notes in Computer Science] Software Technologies: Applications and Foundations Volume 10748 || Evaluating a Graph Query Language for Human-Robot Interaction Data in Smart Environments

Seidl, Martina, Zschaler, Steffen

Année:

2018

Langue:

english

Fichier:

PDF, 2.78 MB

english, 2018

[IEEE 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2016.9.24-2016.9.27)] 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - A Duality-Aware Calculus for Quantified Boolean Formulas

Fazekas, Katalin, Seidl, Martina, Biere, Armin

Année:

2016

Langue:

english

Fichier:

PDF, 193 KB

english, 2016

Short proofs for some symmetric Quantified Boolean Formulas

Kauers, Manuel, Seidl, Martina

Journal:

Information Processing Letters

Année:

2018

Langue:

english

Fichier:

PDF, 218 KB

english, 2018